Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings