T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)
M. Cerioli, A. Haxthausen, B. Krieg-Brückner, and T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, page 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)