@inproceedings{paper18,
  title = "Domain Theory in Logical Form",
  author = "S. Abramsky",
  year = "1991",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "1-77",
  volume = "51",
}