Observable sequentiality and full abstraction (1992)

by R Cartwright, M Felleisen
Venue:In POPL ’92