Cartwright, Curien, Felleisen
Fully Abstract Semantics for Observably Sequential Languages

appeared in Information and Computation, 1994

pdf
ps
dvi