Abstract state machines : theory and applications ; international workshop ; proceedings - Gurevich, Yuri (Herausgeber); ASM (2000 : Monte Verità) (Lecture notes in computer science, 2000)