David A. Basin Olivier Danvy Robert Harper 171-171 2004 17 Higher-Order and Symbolic Computation 3 http://dx.doi.org/10.1023/B:LISP.0000029480.20108.7d db/journals/lisp/lisp17.html#BasinDH04