1. Abramsky S, Jung A (1994) Domain theory. In: Abramsky S, Gabbay D, Maibaum TSE (eds). Handbook of logic in computer science. Oxford University Press, New York, pp. 1–168
2. Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge
3. Droste M, Göbel R (1990) Non-deterministic information systems and their domains. Theor Comput Sci 75:289–309
4. Geirz G, Hofmann KH, Keimel K, Lawson JD, Mislove M, Scott DS (1980) A compendium of continuous lattices. Springer, Berlin
5. Gunter C (1986) The largest first-order axiomatizable cartesian-closed category of domains. In: Meyer AR (ed) Symposium on logic in computer science. IEEE Computer Soc. Press, Silver Spring, pp 142–148