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, 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, C. Maeder, and K. Lüttich. TACAS 2007, volume 4424 of Lecture Notes in Computer Science, page 519-522. Springer-Verlag Heidelberg, (2007)
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)
P. James, A. Knapp, T. Mossakowski, and M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 178-194. Springer, (2013)