1. S. Abramsky. Domain theory and the logic of observable properties. PhD thesis, Queen Mary College, University of London, 1987.
2. Domain theory in logical form;Abramsky;Annals of Pure and Applied Logic,1991
3. A domain equation for bisimulation;Abramsky;Information and Computation,1991
4. Domain theory;Abramsky,1994
5. Quantales, observational logic and process semantics;Abramsky;Mathematical Structures in Computer Science,1993