@TECHREPORT{asm98,
        AUTHOR             = {Uwe Gl\"{a}sser and Peter H. Schmitt},
        ADDRESS            = {Magdeburg, Germany, September 21-22},
        INSTITUTION        = {Otto von Guericke University Magdeburg},
        TITLE              = {Proceedings of the Fifth International
		  Workshop on Abstract State Machines},
        YEAR               = {1998}
}