J. Ackermann, und K. Turowski. TEAA'06: Trends in Enterprise Application Architecture, Volume 4473 von LNCS, Seite 25--39. Berlin Heidelberg, Springer, (2007)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, und A. Tarlecki. Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, und A. Tarlecki. Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 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, Seite 269-286. (2009)
O. Kutz, und T. Mossakowski. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, Seite 227-234. AAAI Press; Menlo Park, CA, (2011)