Hatcliff, John, and Olivier Danvy. “A Computational Formalization for Partial Evaluation (Extended Version)”. BRICS Report Series 3, no. 34 (June 4, 1996). Accessed September 20, 2019. https://tidsskrift.dk/brics/article/view/20015.