T. Mossakowski, W. Pawlowski, D. Sannella, and A. Tarlecki. Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, volume 8873 of Lecture Notes in Computer Science, page 66-91. (2014)
T. Mossakowski, H. Reichel, M. Roggenbach, and L. Schröder. Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)
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, L. Schröder, and S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, page 199-214. Springer, (2008)
S. Goncharov, L. Schröder, and T. Mossakowski. Mathematical Foundations of Computer Science, volume 4162 of Lecture Notes in Computer Science, page 447-458. Springer; Berlin; http://www.springer.de, (2006)
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)
T. Mossakowski, C. Maeder, and K. Lüttich. TACAS 2007, volume 4424 of Lecture Notes in Computer Science, page 519-522. Springer-Verlag Heidelberg, (2007)
L. Schröder, and T. Mossakowski. Algebraic Methodology and Software Technology, volume 3116 of Lecture Notes in Computer Science, page 443--459. Springer; Berlin; http://www.springer.de, (2004)