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, 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, 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)
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, 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)
O. Kutz, and T. Mossakowski. Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), volume 230 of Frontiers in Artificial Intelligence and Applications, page 94-109. IOS Press, (2011)
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)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)