Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol - Abramsky, S; McCusker, G (Birkhauser, 1997)