(1)
Danvy, O.; Grobauer, B.; Rhiger, M. A Unifying Approach to Goal-Directed Evaluation. BRICS 2001, 8.