Fully Abstract Semantics for Observably Sequential Languages - Cartwright, Robert; Curien, Pierre-Louis; Felleisen, Matthias (Inf. Comput., 1994)