1. Crawley, P., and Dilworth, R.P., Algebraic Theory of Lattices, Prentice-Hall, Englewood Cliffs, New Jersey, 1973.
2. Czedli, G., and Freese, R., On congruence distributivity and modularity, Algebra Universalis
17 (1983), 216–219.
3. Davis, A.C., A characterization of complete lattices, Pacific J. Math. 5 (1955), 311–319.
4. Day, A., Doubling constructions in lattice theory, Canad. J. Math. 44 (1992), 252–269.
5. Day, A., Lattice conditions implying congruence modularity, Algebra Universalis
6 (1976), 291–301.