O. Danvy, B. Dzafic, og F. Pfenning, “On proving syntactic properties of CPS programs”, BRICS, bd. 6, nr. 23, jan. 1999.