@inproceedings{paper35,
  title = "Games and Full Abstraction for the Lazy {\lambda}-calculus",
  author = "S. Abramsky and G. McCusker",
  year = "1995",
  booktitle = "Proceedings of the Tenth Annual Symposium on Logic in Computer Science",
  editor = "D. Kozen",
  pages = "234-243",
  publisher = "IEEE Computer Society Press",
}