@inproceedings{paper41,
  title = "Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol",
  author = "S. Abramsky and G. McCusker",
  year = "1997",
  booktitle = "Algol-like Languages",
  editor = "P. O'Hearn and R. D. Tennent",
  pages = "317-348",
  publisher = "Birkhauser",
}