Balat, V., og O. Danvy. “Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)”. BRICS Report Series, bd. 4, nr. 43, juni 1997, doi:10.7146/brics.v4i43.18969.