Filinski, A. and Rohde, H.K. 2005. Denotational Aspects of Untyped Normalization by Evaluation. BRICS Report Series. 12, 4 (Feb. 2005). DOI:https://doi.org/10.7146/brics.v12i4.21870.