M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)
T. Mossakowski, D. Sannella, and A. Tarlecki. WADT 2004, volume 3423 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, (2005)
T. Mossakowski, M. Drouineaud, and K. Sohr. Proceedings of the 4th International Conference on Temporal Logic,, page 83-90. IEEE Computer Society Press, (2003)
H. Herrlich, T. Mossakowski, and G. Strecker. Category Theory at Work, volume 18 of Research and Exposition in Mathematics, page 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.
K. Hoffmann, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, volume 2755 of Lecture Notes in Computer Science, page 253--267. Springer Verlag, London, (2003)
A. Knapp, T. Mossakowski, M. Roggenbach, and M. Glauer. Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volume 9033 of Lecture Notes in Computer Science, page 3--18. Springer, (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, and M. Glauer. Fundamental Approaches to Software Engineering - 18th International
Conference, FASE 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2015, London, UK, April
11-18, 2015. Proceedings, page 3--18. (2015)
S. Wölfl, and T. Mossakowski. Conference on Spatial Information Theory, volume 3693 of Lecture Notes in Computer Science, page 200-217. Springer; Berlin, (2005)
T. Mossakowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 316--332. Springer Verlag, London, (1998)