A Complete, Co-Inductive Syntactic Theory of Sequential Control and State

   Abstract