Ein interaktives und syntaxorientiertes Eingabesystem für algeabraische Spezifikationen - Matheis, Hans