@inproceedings{paper47,
  title = "A fully abstract game semantics for general references",
  author = "S. Abramsky and K. Honda and G. McCusker",
  year = "1998",
  booktitle = "Proceedings of the Thirteenth International Symposium on Logic in Computer Science",
  pages = "334-344",
  publisher = "Computer Society Press of the IEEE",
}