Damian, Daniel, and Olivier Danvy. 2001. “CPS Transformation of Flow Information, Part II: Administrative Reductions”. BRICS Report Series 8 (40). https://doi.org/10.7146/brics.v8i40.21700.