Negri. Continuous Lattices in Formal Topology. Springer Berlin Heidelberg, 1998, doi:10.1007/bfb0097800.