@inproceedings{paper4,
  title = "Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming",
  author = "S. Abramsky",
  year = "1983",
  booktitle = "Foundations of Computation Theory",
  editor = "M. Karpinski",
  pages = "1-13",
  publisher = "Springer-Verlag",
}