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)
L. Schröder, и T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, том 4409 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2007)
T. Mossakowski, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
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. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, стр. 269-286. (2009)
O. Kutz, и T. Mossakowski. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, стр. 227-234. AAAI Press; Menlo Park, CA, (2011)
M. Codescu, и T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, том 6859 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2011)
S. Autexier, D. Hutter, и T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, том 6463 из LNCS, Springer, (2010)