HATCLIFF, J.; DANVY, O. A Computational Formalization for Partial Evaluation (Extended Version). BRICS Report Series, v. 3, n. 34, 4 Jun. 1996.