Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen - Matheis, Hans (1984)