Observable Sequentiality and Full Abstraction (1992)

by Robert Cartwright, Matthias Felleisen
Venue:In Proceedings of POPL ’92