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, Bernhard (Springer Berlin Heidelberg, 2004)