Damian, Daniel, and Olivier Danvy. “CPS Transformation of Flow Information, Part II: Administrative Reductions”. BRICS Report Series 9, no. 36 (August 5, 2002). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/21751.