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)
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, 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, P. Hoffman, S. Autexier, and D. Hutter. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
L. Schröder, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)
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)
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)
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)
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)
L. Schröder, and T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
L. Schröder, and T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science, page 261--277. Springer; Berlin; http://www.springer.de, (2003)
T. Mossakowski. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, page 269-286. (2009)
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)