Fully abstract semantics for observably sequential languages (2003)

by Robert Cartwright, Pierre-Louis Curien , Matthias Felleisen