[1] P. Crawley, R. P. Dilworth:
Algebraic theory of lattices. Prentice-Hall, New Jersey, 1973.
Zbl 0494.06001
[3] D. Scott, R. Solovay: Boolean-valued models of set theory. Proc. of Symp. in Pure Math. 13, II, AMS, Providence R.I., 1971.
[5] J. Dalík:
An embedding problem and its application in linguistics. Arch. Math. (Brno) 3, XIV (1978), 123-138.
MR 0521193
[6] J. Dalík:
Lattices of generating systems. Arch. Math. (Brno) 3, ХVI (1980), 137-152.
MR 0594459
[7] J. Schmidt: Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge. Archiv der Math. (Basel), 1960.