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