1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E (eds.) Handbook of Logic in Computer Science, vol. 3, pp 1–168. Clarendon Press (1994)
2. Berry, G.: Stable models of typed λ-calculi. Lect. Notes Comput. Sci. 62, 72–88 (1978)
3. Chen, Y., Wu, H.: Domain semantics of possibility computations. Inf. Sci. 178, 2661–2679 (2008)
4. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge Press, Cambridge (2002)
5. Gunter, G., Scott, D.S.: Semantic domains. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. Elsevier Science, Amsterdam (1990)