R. Kent Dybvig Robert Hieb Carl Bruggeman Syntactic Abstraction in Scheme. 295-326 1992 5 Lisp and Symbolic Computation 4 db/journals/lisp/lisp5.html#DybvigHB92