@phdthesis{AbramskyThesis,
  title = "Domain Theory and the Logic of Observable Properties",
  author = "Samson Abramsky",
  year = "1987",
  institution = "University of London",
}