M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, und F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Volume 6824 von Lecture Notes in Computer Science, Seite 289-291. Springer-Verlag Berlin Heidelberg, (2011)
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)
P. James, A. Knapp, T. Mossakowski, und M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Volume 7841 von Lecture Notes in Computer Science, Seite 178-194. Springer, (2013)
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, Volume 906 von Lecture Notes in Computer Science, Seite 389--405. Springer Verlag, London, (1995)
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. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, Seite 269-286. (2009)
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)