K. Støvring og S. B. Lassen, “A Complete, Co-Inductive Syntactic Theory of Sequential Control and State”, BRICS, bd. 14, nr. 4, feb. 2007.