@inproceedings{paper63,
  author = "S. Abramsky",
  booktitle = "Proceedings of the {NATO} Advanced Study Institute, Marktober- dorf",
  chapter = "Proof and System Reliability",
  editor = "H. Schichtenberg and R. Steinbr{\"u}ggen",
  pages = "21-47",
  publisher = "Kluwer Academic Publishers",
  title = "Algorithmic Game Semantics: A Tutorial Introduction",
  year = "2001",
}