T. Mossakowski, L. Schröder, und S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), Volume 4961 von Lecture Notes in Computer Science, Seite 199-214. Springer, (2008)
L. Schröder, und T. Mossakowski. Algebraic Methodology and Software Technology, Volume 3116 von Lecture Notes in Computer Science, Seite 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, und 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.
S. Katsumata. Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Seite 633--645. New York, NY, USA, ACM, (2014)
S. Lack, und R. Street. Journal of Pure and Applied Algebra, 175 (1–3):
243 - 265(2002)Special Volume celebrating the 70th birthday of Professor Max Kelly.