D. Damian and O. Danvy, “CPS Transformation of Flow Information, Part II: Administrative Reductions”, BRICS, vol. 8, no. 40, Oct. 2001.