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