EIN INTERAKTIVES UND SYNTAXORIENTIERTES EINGABESYSTEM FUER ALGEBRAISCHE SPEZIFIKATIONEN - Matheis, Hans (1984)