S. Autexier, D. Hutter, und T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Volume 6463 von LNCS, Springer, (2010)
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)
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)
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. Recent Trends in Data Type Specification. Proceedings, Volume 906 von Lecture Notes in Computer Science, Seite 389--405. Springer Verlag, London, (1995)
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, 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)
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)