Balat, Vincent, og Olivier Danvy. “Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)”. BRICS Report Series 4, no. 43 (juni 13, 1997). Set august 16, 2024. https://tidsskrift.dk/brics/article/view/18969.