John P. Gallagher Janis Voigtländer Editorial. 273-274 2010 23 Higher-Order and Symbolic Computation 3 http://dx.doi.org/10.1007/s10990-011-9081-0 db/journals/lisp/lisp23.html#GallagherV10