@inproceedings{paper52,
  title = "Full Abstraction for Idealized Algol with passive expressions",
  author = "S. Abramsky and G. McCusker",
  year = "1999",
  booktitle = "Theoretical Computer Science",
  pages = "3-42",
  volume = "227",
}