Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (1989)

by Klaus Drosten