Støvring, Kristian, og Søren B. Lassen. “A Complete, Co-Inductive Syntactic Theory of Sequential Control and State”. BRICS Report Series 14, no. 4 (februar 12, 2007). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21927.