Filinski, A.; Rohde, H. K. Denotational Aspects of Untyped Normalization by Evaluation. BRICS 2005, 12.