A. Filinski og H. K. Rohde, “Denotational Aspects of Untyped Normalization by Evaluation”, BRICS, bd. 12, nr. 4, feb. 2005.