1. Thierry Coquand. Categories of embeddings. In Y. Gurevich, editor, Logic in Computer Science, pages 256–263, IEEE Computer Society, July 1988.
2. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.
3. Carl A. Gunter and Achim Jung. Coherence and consistency in domains (extended outline). In Y. Gurevich, editor, Logic in Computer Science, pages 309–319, IEEE Computer Society, July 1988.
4. Carl A. Gunter. Universal profinite domains. Information and Computation, 72:1–30, 1987.
5. Peter T. Johnstone. Stone Spaces. Cambridge University Press, 1982.