Domain Theory and the Logic of Observable Properties - Abramsky, S (University of London, 1987)