Klaus Drosten Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen Informatik-Fachberichte 210 Springer 1989 3-540-51172-5