A. Filinski and H. K. Rohde, “Denotational Aspects of Untyped Normalization by Evaluation”, BRICS, vol. 12, no. 4, Feb. 2005.