[1]
O. Danvy, B. Dzafic, and F. Pfenning, “On proving syntactic properties of CPS programs”, BRICS, vol. 6, no. 23, Jan. 1999.