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, 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)
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, H. Reichel, M. Roggenbach, und L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Volume 2755 von Lecture Notes in Computer Science, Seite 376--392. Springer; Berlin; http://www.springer.de, (2003)
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, L. Schröder, und S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), Volume 4961 von Lecture Notes in Computer Science, Seite 199-214. Springer, (2008)
S. Goncharov, L. Schröder, und T. Mossakowski. Mathematical Foundations of Computer Science, Volume 4162 von Lecture Notes in Computer Science, Seite 447-458. Springer; Berlin; http://www.springer.de, (2006)
T. Mossakowski, C. Maeder, und K. Lüttich. TACAS 2007, Volume 4424 von Lecture Notes in Computer Science, Seite 519-522. Springer-Verlag Heidelberg, (2007)