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