1. G. Birkhoff, Lattice theory, third ed., American Mathematical Society, Providence R.I., 1967.
2. A. Day,Varieties of Heyting algebras (preprint).
3. G. Grätzer, Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., 1971.
4. G. Grätzer andH. Lakser,The structure of pseudo-complemented distributive lattices II. Congruence extension and amalgamation, Trans. Amer. Math. Soc.156 (1971), 343–358.
5. T. Hecht andT. Katriňák,Equational classes of relative Stone algebras, Notre Dame J. Formal Logic13 (1972), 248–254.