M. Wand and D. P. Fredman. The mystery of the tower revealed: a non-reflective description of the reflective tower. In Proceedings Symposium on Lisp Functional Programming, pages 298-307, ACM, August 1986.