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. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
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.
T. Mossakowski, A. Tarlecki, und W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., Volume 1290 von Lecture Notes in Computer Science, Seite 177--196. Springer Verlag, London, (1997)
T. Mossakowski, W. Pawlowski, D. Sannella, und A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, Volume 8873 von Lecture Notes in Computer Science, Seite 66-91. (2014)
T. Mossakowski, P. Hoffman, S. Autexier, und D. Hutter. CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)