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