Filinski, A., and H. K. Rohde. “Denotational Aspects of Untyped Normalization by Evaluation”. BRICS Report Series, vol. 12, no. 4, Feb. 2005, doi:10.7146/brics.v12i4.21870.