D. Walter, L. Schröder, und T. Mossakowski. Algebra and Coalgebra in Computer Science, Volume 3629 von Lecture Notes in Computer Science, Seite 424-438. Springer; Berlin; http://www.springer.de, (2005)
L. Schröder, und T. Mossakowski. Algebraic Methodology and Software Technology, Volume 3116 von Lecture Notes in Computer Science, Seite 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, und T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
L. Schröder, und T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), Volume 2621 von Lecture Notes in Computer Science, Seite 261--277. Springer; Berlin; http://www.springer.de, (2003)
L. Schröder, und T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), Volume 2422 von Lecture Notes in Computer Science, Seite 99--116. Springer; Berlin; http://www.springer.de, (2002)