Observable Sequentiality and Full Abstraction.

Robert Cartwright, Matthias Felleisen

Browse the full POPL paper archive.