[1]
D. Damian and O. Danvy, “CPS Transformation of Flow Information, Part II: Administrative Reductions”, BRICS, vol. 9, no. 36, Aug. 2002.