T. Mossakowski, Kolyang, und B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, Seite 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)
T. Mossakowski, C. Maeder, und K. Lüttich. TACAS 2007, Volume 4424 von Lecture Notes in Computer Science, Seite 519-522. Springer-Verlag Heidelberg, (2007)