Damian, D.; Danvy, O. CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS 2001, 8.