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