Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings / - Zimmermann, Wolf.; Thalheim, B. (Lecture notes in computer science,)