@inproceedings{paper83,
  author = "S. Abramsky",
  booktitle = "Plotkin Festschrift",
  pages = "33-67",
  series = "Electronic Notes in Theoretical Computer Science",
  title = "Event Domains, Stable Functions and Proof Nets",
  volume = "172",
  year = "2007",
}