@inproceedings{paper45,
  title = "Games in the Semantics of Programming Languages",
  author = "S. Abramsky",
  year = "1997",
  booktitle = "Proceedings of the 11th Amsterdam Colloquium",
  editor = "P. Dekker and M. Stokhof and Y. Venema",
  pages = "1-6",
  publisher = "ILLC, Dept. of Philosophy, University of Amsterdam",
}