L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, und A. Tarlecki. Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, und A. Tarlecki. Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 3, Springer-Verlag Heidelberg, (2008)
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)
O. Kutz, und T. Mossakowski. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, Seite 227-234. AAAI Press; Menlo Park, CA, (2011)
M. Codescu, und T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, Volume 6859 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2011)
S. Autexier, D. Hutter, und T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Volume 6463 von LNCS, Springer, (2010)