Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikation. - Matheis, Hans (Interner Bericht, 1984)