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, 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)
T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)
T. Mossakowski, C. Maeder, and K. Lüttich. Maya: Maintaining Structured Developments, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
T. Mossakowski, S. Autexier, and D. Hutter. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 269--283. Springer Verlag, London, (2001)
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. Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, volume 1589 of Lecture Notes in Computer Science, page 198--214. Springer Verlag, London, (1999)
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)