@inproceedings{paper30,
  title = "Domain Theory",
  author = "S. Abramsky and A. Jung",
  year = "1994",
  booktitle = "Handbook of Logic in Computer Science",
  editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
  pages = "1-168",
  publisher = "Oxford University Press",
}