Olivier Danvy, Karoline Malmkjær: Intensions and Extensions in a Reflective Tower. LISP and Functional Programming 1988: 327-341