(1)
Støvring, K.; Lassen, S. B. A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. BRICS 2007, 14.