@inproceedings{paper34,
  title = "Full Abstraction for {PCF} (Extended Abstract)",
  author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
  year = "1994",
  booktitle = "Theoretical Aspects of Computer Software",
  editor = "M. Hagiya and J. C. Mitchell",
  pages = "1-15",
  publisher = "Springer-Verlag",
}