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