M. Roggenbach, L. Schröder, and T. Mossakowski. CASL reference manual, volume 2960 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)
M. Roggenbach, L. Schröder, and T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)
K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)
K. Lüttich, and T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, page 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)
F. Neuhaus, O. Kutz, M. Codescu, and T. Mossakowski. Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)
T. Mossakowski, A. Tarlecki, and W. Pawlowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 349--364. Springer Verlag, London, (1998)
T. Mossakowski, A. Tarlecki, and W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., volume 1290 of Lecture Notes in Computer Science, page 177--196. Springer Verlag, London, (1997)
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, and U. Montanari. Logical Methods in Computer Science, (2010)SPECIAL ISSUE: Selected Papers of the Conference Älgebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.
T. Mossakowski, and B. Klin. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, volume 2267 of Lecture Notes in Computer Science, page 221--237. Springer Verlag, London, (2002)