J. Hatcliff og O. Danvy, “A Computational Formalization for Partial Evaluation (Extended Version)”, BRICS, bd. 3, nr. 34, jun. 1996.