O. Danvy, B. Grobauer, and M. Rhiger, “A Unifying Approach to Goal-Directed Evaluation”, BRICS, vol. 8, no. 29, Jul. 2001.