M. Cerioli, A. Haxthausen, B. Krieg-Brückner, und T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, Seite 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)
D. García, T. Mossakowski, und N. Szasz. 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, Volume 8941 von Lecture Notes in Computer Science, Seite 64-79. (2015)
S. Autexier, und T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, Volume 2309 von Lecture Notes in Computer Science, Seite 2--17. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, T. Mossakowski, und A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, Volume 4180 von Lecture Notes in Artificial Intelligence, Springer, (2006)
S. Autexier, D. Hutter, T. Mossakowski, und A. Schairer. Algebraic Methodology and Software Technology, 2002, Volume 2422 von Lecture Notes in Computer Science, Seite 495--502. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, und T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Volume 6463 von LNCS, Springer, (2010)