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

by Kristian Støvring, Soren B Lassen
Venue:In POPL