Damian, Daniel, and Olivier Danvy. “CPS Transformation of Flow Information, Part II: Administrative Reductions”. BRICS Report Series 8, no. 40 (October 4, 2001). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21700.