Jakov Kucan Retraction Approach to CPS Transform. 145-175 1998 11 Higher-Order and Symbolic Computation 2 db/journals/lisp/lisp11.html#Kucan98