Støvring, Kristian, and Søren B. Lassen. “A Complete, Co-Inductive Syntactic Theory of Sequential Control and State”. BRICS Report Series 14, no. 4 (February 12, 2007). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21927.