1. Alchaurrón, C.E., Gärdenfors, P., Makinson D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Logic 50 (1985) 512–530
2. Amadio, R.M., Curien, P.-L.: Domains and lambda calculi. Cambridge University Press 1998
3. Birkhoff, G.: Lattice theory. Providence, Rhode Island 1967
4. Buneman, P., Jung, A., Ohori, A.: Using powerdomains to generalize relational databases. Theoret. Comput. Sci. 91 (1991) 23–55
5. Burmeister, P.: A Model Theoretic Approach to Partial Algebras. Akademie-Verlag, Berlin 1986