Danvy, Olivier, og René Vestergaard. “Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation”. BRICS Report Series, bd. 3, nr. 13, januar 1996, doi:10.7146/brics.v3i13.19976.