Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings - Gurevich, Yuri; Gurevich, Yuri; Kutter, Philipp W.; Kutter, Philipp W.; Odersky, Martin; Odersky, Martin; Thiele, Lothar; Thiele, Lothar (Springer Berlin Heidelberg : Imprint: Springer, 2000)