Olivier Danvy Bernd Grobauer Morten Rhiger A Unifying Approach to Goal-directed Evaluation. 53-74 2001 20 New Generation Comput. 1 db/journals/ngc/ngc20.html#DanvyGR01