Harry G. Mairson 7-8 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7002-9 db/journals/lisp/lisp18.html#Mairson05