Neil Ghani Tarmo Uustalu Makoto Hamana Explicit substitutions and higher-order syntax. 263-282 2006 19 Higher-Order and Symbolic Computation 2-3 http://dx.doi.org/10.1007/s10990-006-8748-4 db/journals/lisp/lisp19.html#GhaniUH06