T. Mossakowski, Kolyang, и B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, стр. 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)
M. Codescu, T. Mossakowski, и C. Maeder. CALCO 2013, том 8089 из Lecture Notes in Computer Science, стр. 315--321. Springer-Verlag Berlin Heidelberg, (2013)
K. Lüttich, T. Mossakowski, и B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), том 3423 из Lecture Notes in Computer Science, стр. 106-125. Springer; Berlin; http://www.springer.de, (2005)
T. Mossakowski, H. Reichel, M. Roggenbach, и L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, том 2755 из Lecture Notes in Computer Science, стр. 376--392. Springer; Berlin; http://www.springer.de, (2003)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, и A. Tarlecki. Fundamental Approaches to Software Engineering, том 2029 из Lecture Notes in Computer Science, стр. 253--268. Springer; Berlin; http://www.springer.de, (2001)
T. Mossakowski, M. Roggenbach, и L. Schröder. Coalgebraic Methods in Computer Science, том 82 из Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
T. Mossakowski, P. Hoffman, S. Autexier, и D. Hutter. CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
B. Klin, P. Hoffman, A. Tarlecki, L. Schröder, и T. Mossakowski. Mathematical Foundations of Computer Science, том 2136 из Lecture Notes in Computer Science, стр. 512--523. Springer; Berlin; http://www.springer.de, (2001)