Just found this URL about tower-reflective interpretation, using Lisp: A Lisp through the Looking Glass. http://www.cb1.com/~john/thesis/thesis.html Paul