Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings - Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele ((Lecture Notes in Computer Science))