@inproceedings{paper57,
  title = "Full Abstraction for {PCF}",
  author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
  year = "2000",
  booktitle = "Information and Computation",
  pages = "409-470",
  volume = "163",
}