O. Danvy, M. Rhiger, og K. H. Rose, “Normalization by Evaluation with Typed Abstract Syntax”, BRICS, bd. 8, nr. 16, maj 2001.