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