A fully abstract game semantics for general references (1998)

by S Abramsky, K Honda, G McCusker
Venue:In LICS