@inproceedings{paper40,
  title = "Semantics of Interaction: an introduction to Game Semantics",
  author = "S. Abramsky",
  year = "1997",
  booktitle = "Proceedings of the 1996 {CLiCS} Summer School, Isaac Newton Institute",
  editor = "P. Dybjer and A. Pitts",
  pages = "1-31",
  publisher = "Cambridge University Press",
}