Entwurf und Implementierung eines Compilers für algebraische Spezifikationen - Killing, Gregor (Passau, Univ., Diplomarbeit, 1993, 1993)