A complete, co-inductive syntactic theory of sequential control and state

Kristian Støvring
Soren B. Lassen
Proc. 34th Annual ACM Symposium on Principles of Programming Languages, ACM, Nice, France (2007), pp. 161-172

Abstract