1. Domain theory;Abramsky,1994
2. A Compendium of Continuous Lattices;Gierz,1980
3. The spectral theory of distributive continuous lattices;Hofmann;Trans. Amer. Math. Soc.,1978
4. Local compactness and continuous lattices;Hofmann,1981
5. Probabilistic non-determinism;Jones,1990