Olivier Danvy Fritz Henglein Harry G. Mairson Alberto Pettorossi 5-6 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7001-x db/journals/lisp/lisp18.html#DanvyHMP05