Resource-bounded partial evaluation. - Danvy, Olivier; Hentze, Nevin; Malmkjær, Karoline (ACM Computing Surveys, 1996)