Baumeister, H. (1990). Über die Stabilität parameterisierter algebraischer Spezifikationen. Master Thesis, Universität Dortmund, Dortmund.