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