1. S. Abramsky, A. Jung. Domain theory, in “Handbook of Logic in Computer Science”, vol. 3, Clarendon Press, Oxford, pp. 1–168, 1994.
2. P. Aczel. An introduction to inductive definitions, in “Handbook of Mathematical Logic”, J. Barwise (ed), North-Holland, pp. 739–782, 1977.
3. B. Banaschewski, R.-E. Hoffmann (eds), “Continuous Lattices”, Lecture Notes in Mathematics 871, pp. 209–248, Springer, 1981.
4. G. Battilotti, G. Sambin. A uniform presentation of sup-lattices, quantales and frames by means of infinitary preordered sets, pretopologies and formal topologies, Preprint no. 19, Dept. of Pure and Applied Mathematics, University of Padova, 1993.
5. J. Cederquist. A machine assisted formalization of pointfree topology in type theory, Chalmers University of Technology and University of Göteborg, Sweden, Licentiate Thesis, 1994.