On proving syntactic properties of CPS programs. - Olivier Danvy; Belmina Dzafic; Frank Pfenning (HOOTS, 1999)