Matthias Felleisen Julia L. Lawall Manuel Serrano Olin Shivers Editorial. 243-244 2005 18 Higher-Order and Symbolic Computation 3-4 http://dx.doi.org/10.1007/s10990-005-4875-6 db/journals/lisp/lisp18.html#FelleisenLSS05