Støvring, Kristian, and Søren B. Lassen. 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.