Observable sequentiality and full abstraction (1991)

by R S CARTWRIGHT, M FELLEISEN
Venue:Rice University Department of Computer Science