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

by K Støvring, S Lassen
Venue:in POPL