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