J. Hatcliff and O. Danvy, “A Computational Formalization for Partial Evaluation (Extended Version)”, BRICS, vol. 3, no. 34, Jun. 1996.