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

by K Støvring, S B Lassen
Venue:In Proc. of 34th POPL