(1)
Filinski, A.; Rohde, H. K. A Denotational Account of Untyped Normalization by Evaluation. BRICS 2003, 10.