Olivier Danvy, Lasse R. Nielsen: A first-order one-pass CPS transformation. Theor. Comput. Sci. 308(1-3): 239-257 (2003)