Dieter Maurer Reinhard Wilhelm MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. 67-88 1989 4 Inform., Forsch. Entwickl. 2 db/journals/ife/ife4.html#MaurerW89