A partial evaluator, and its use as a programming tool
scientific article; zbMATH DE number 3538791