Filinski, A., and H. K. Rohde. “A Denotational Account of Untyped Normalization by Evaluation”. BRICS Report Series, vol. 10, no. 40, Dec. 2003, doi:10.7146/brics.v10i40.21808.