1. Abramsky, S.: Domain theory and the logic of observable properties. PhD thesis, Queen Mary College, University of London, 1987.
2. Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic, 51(1):1–77, 1991.
3. Abramsky, S.: A domain equation for bisimulation. Information and Computation, 92(2):161–218, 1991.
4. Abramsky, S., Vickers, S.J.: Quantales, observational logic and process semantics. Mathematical Structures in Computer Science, 3:161–227, 1993.
5. Bonsangue, M.M., Kwiatkowska M.Z.: Re-interpreting the modal μ-calculus. In A. Ponse, M. de Rijke, and Y. Venema, editors, Modal Logic and Process Algebra, volume 53 of CSLI Lecture notes, pages 65–83, Stanford, 1995. Centre for Study of Languages and Information.