Domain Theory in Logical Form - Abramsky, S (1991)