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)
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)
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)
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, 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)
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)