Hatcliff, John, og Olivier Danvy. “A Computational Formalization for Partial Evaluation (Extended Version)”. BRICS Report Series 3, no. 34 (juni 4, 1996). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/20015.