Danvy, O., Millikin, K. and Nielsen, L. R. (2007) “On One-Pass CPS Transformations”, BRICS Report Series, 14(6). doi: 10.7146/brics.v14i6.21929.