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. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (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)
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)
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. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, page 269-286. (2009)