D. Walter, L. Schröder, и T. Mossakowski. Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 424-438. Springer; Berlin; http://www.springer.de, (2005)
L. Schröder, и T. Mossakowski. Algebraic Methodology and Software Technology, том 3116 из Lecture Notes in Computer Science, стр. 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, и 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, и T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), том 2621 из Lecture Notes in Computer Science, стр. 261--277. Springer; Berlin; http://www.springer.de, (2003)
L. Schröder, и T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), том 2422 из Lecture Notes in Computer Science, стр. 99--116. Springer; Berlin; http://www.springer.de, (2002)