Støvring, K. and Lassen, S.B. 2007. A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. BRICS Report Series. 14, 4 (Feb. 2007). DOI:https://doi.org/10.7146/brics.v14i4.21927.