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)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, volume 6824 of Lecture Notes in Computer Science, page 289-291. Springer-Verlag Berlin Heidelberg, (2011)
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. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, page 269-286. (2009)
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)
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.