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