Effiziente Compilation funktionaler Module einer algebraischen Spezifikationssprache - Hundehege, Johannes-Bernhard (1992)
Münster, Univ., Diss., 1993