Robert Paige An NSF Proposal. 211-235 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7009-2 db/journals/lisp/lisp18.html#Paige05