Fully abstract semantics for observably sequential languages (1994)

by R Cartwright, P-L Curien, M Felleisen
Venue:Information and Computation