V. Balat og O. Danvy, “Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)”, BRICS, bd. 4, nr. 43, jun. 1997.