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