T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
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)
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)
T. Mossakowski. Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, page 124-149. Springer; Berlin; http://www.springer.de, (2006)
A. Knapp, and T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, volume 10800 of Lecture Notes in Computer Science, page 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
T. Mossakowski, O. Kutz, and M. Codescu. Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014, (2014)
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)
M. Codescu, and T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, volume 6859 of Lecture Notes in Computer Science, page 145-160. Springer, (2011)
T. Mossakowski, O. Kutz, and C. Lange. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 212-230. Springer, (2013)
T. Mossakowski. 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)