Danvy, O.; Dzafic, B.; Pfenning, F. On Proving Syntactic Properties of CPS Programs. BRICS 1999, 6.