Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen - Wolz, Dietmar (1988)
Literaturverz. Bl. 91 - 94