K. Aehlig, F. Haftmann, and T. Nipkow, A Compiled Implementation of Normalization by Evaluation, Theorem Proving in Higher Order Logics Lecture Notes in Computer Science, 2008.
DOI : 10.1007/11532231_4

M. Boespflug, Efficient normalization by evaluation, Informal proceedings of the 2009 Workshop on Normalization by Evaluation, pp.29-34, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00434283

A. Filinski and H. K. Rohde, A denotational account of untyped normalization by evaluation. Lecture notes in computer science, pp.167-181, 2004.

T. A. Mogensen, Abstract, Journal of Functional Programming, vol.85, issue.03, pp.345-364, 1992.
DOI : 10.1145/59287.77345