J. Ackermann, and K. Turowski. TEAA'06: Trends in Enterprise Application Architecture, volume 4473 of LNCS, page 25--39. Berlin Heidelberg, Springer, (2007)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)
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)