L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, и A. Tarlecki. Fundamental Approaches to Software Engineering, том 2029 из Lecture Notes in Computer Science, стр. 253--268. Springer; Berlin; http://www.springer.de, (2001)
T. Mossakowski, O. Kutz, и C. Lange. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 212-230. Springer, (2013)
T. Mossakowski, C. Lange, и O. Kutz. FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, стр. 337-352. IOS Press; Amsterdam; http://www.iospress.nl, (2012)Best paper award.
T. Mossakowski, A. Haxthausen, D. Sannella, и A. Tarlecki. Logics of formal specification languages, том 22 из Monographs in Theoretical Computer Science, глава 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, том 1827 из Lecture Notes in Computer Science, Springer Verlag, London, (2000)
M. Codescu, T. Mossakowski, и O. Kutz. Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy., (2014)