O. Danvy og R. Vestergaard, “Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation”, BRICS, bd. 3, nr. 13, jan. 1996.