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