Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen - Wolz, Dietmar (Bericht / Technische Universität <Berlin, West> / Fachbereich Informatik, 1988)