(1)
Hatcliff, J.; Danvy, O. A Computational Formalization for Partial Evaluation (Extended Version). BRICS 1996, 3.