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