S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)
S. Autexier, and T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, volume 2309 of Lecture Notes in Computer Science, page 2--17. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
M. Cerioli, A. Haxthausen, B. Krieg-Brückner, and T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, page 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)
S. Goncharov, L. Schröder, and T. Mossakowski. Algebra and Coalgebra in Computer Science (CALCO 2009), volume 5728 of Lecture Notes in Computer Science, page 18-33. Springer, (2009)
H. Herrlich, T. Mossakowski, and G. Strecker. Category Theory at Work, volume 18 of Research and Exposition in Mathematics, page 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.
K. Hoffmann, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, volume 2755 of Lecture Notes in Computer Science, page 253--267. Springer Verlag, London, (2003)