Filinski, Andrzej, og Henning Korsholm Rohde. “Denotational Aspects of Untyped Normalization by Evaluation”. BRICS Report Series, bd. 12, nr. 4, februar 2005, doi:10.7146/brics.v12i4.21870.