S. Autexier, D. Hutter, und T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Volume 6463 von LNCS, Springer, (2010)
T. Mossakowski. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Volume 1827 von Lecture Notes in Computer Science, Springer Verlag, London, (2000)
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)
T. Mossakowski. Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Volume 4060 von Lecture Notes in Computer Science, Seite 124-149. Springer; Berlin; http://www.springer.de, (2006)
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)
A. Knapp, und T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, Volume 10800 von Lecture Notes in Computer Science, Seite 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
O. Kutz, und T. Mossakowski. Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), Volume 230 von Frontiers in Artificial Intelligence and Applications, Seite 94-109. IOS Press, (2011)
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)