1. S. Abramsky. Domain Theory and the Logic of Observable Properties. PhD thesis, Queen Mary College, University of London, 1987.
2. K.R. Apt and G. Plotkin. Countable nondeterminism and random assignment. Journal of the ACM, 33(4):724–767, October 1986.
3. C. Berge. Topological Spaces — including a treatment of Multi-valued Functions, Vector Spaces and Convexity. Oliver & Boyd, 1963. English translation of’ Espaces Topologiques: Fonctions Multivoques’ published by Dunod, Paris 1959.
4. E. Best. Relational semantic of concurrent programs (with some applications). In D. Bjorner, editor, Proc. of the IFIP Working Conference on on Formal Description of Programming Concepts — II, pages 431–452, Garmisch-Partenkirchen, FRG, 1983. North-Holland Publishing Company.
5. M.M. Bonsangue, B. Jacobs, and J.N. Kok. Duality beyond sober spaces: Topological spaces and observation frames. Presented at the workshop on Topology and Completion in Semantics, Chartres, France, 18–20 Nov. '93. Available through anonymous ftp from ftp.cs.vu.nl as /pub/bonsangue/duality.ps.Z, 1993.