1. S. Abramsky. Domain Theory and the Logic of Observable Properties. Ph.D. thesis Queen Mary College University of London (1987). S. Abramsky. Domain Theory and the Logic of Observable Properties. Ph.D. thesis Queen Mary College University of London (1987).
2. Domain theory in logical form*
3. S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets. 1988 lecture reprinted in Artemov et al. (eds.) We Will Show Them: Essays in honour of Dov Gabbay 1 1--18 (2005). S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets. 1988 lecture reprinted in Artemov et al. (eds.) We Will Show Them: Essays in honour of Dov Gabbay 1 1--18 (2005).
4. S. Abramsky and A. Jung. Domain theory. Abramsky et al. (eds.) Handbook of Logic in Computer Science 3 OUP 1--168 (1994). S. Abramsky and A. Jung. Domain theory. Abramsky et al. (eds.) Handbook of Logic in Computer Science 3 OUP 1--168 (1994).
5. Varieties of Languages in a Category