@inproceedings{paper36,
  title = "Games for recursive types",
  author = "S. Abramsky and G. McCusker",
  year = "1995",
  booktitle = "Proceedings of the 1994 Workshop on Theory and Formal Methods",
  editor = "C. L. Hankin",
  pages = "1-20",
  publisher = "Imperial College Press",
}