× Eine abstrakte Maschine für das logisch-funktionale Programmierenvon Michael Gollner, Vorwort von Peter Deussen