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)
S. Bruckner, R. Seemann, and W. Elmenreich. Proceedings of the Work-in-Progress Session of the 14th Euromicro
International Conference, page 49--52. (2002)
B. List, R. Bruckner, K. Machaczek, and J. Schiefer. DEXA '02: Proceedings of the 13th International Conference on Database
and Expert Systems Applications, page 203--215. London, UK, Springer-Verlag, (2002)