Nogin, Aleksey et al. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. . (In Press) http://resolver.caltech.edu/CaltechCSTR:2005.003