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