@inproceedings{paper12,
  title = "Domain Theory in Logical Form",
  author = "S. Abramsky",
  year = "1987",
  booktitle = "Symposium on Logic in Computer Science",
  pages = "47-53",
  publisher = "Computer Society Press of the {IEEE}",
}