A unifying approach to goaldirected evaluation (2002)

by Olivier Danvy, Bernd Grobauer, Morten Rhiger
Venue:New Generation Computing