A Partial Evaluator, and its Use as a Programming Tool. - Lennart Beckman; Anders Haraldson; Östen Oskarsson; Erik Sandewall (Artif. Intell., 1976)