1. J. C. Abbott,Sets, lattices, and Boolean algebras, Allyn and Bacon (Boston, 1969).
2. J. C. Abbott, Semi-Boolean algebra,Mat. Vesnik,4 (19) (1967), 177–198.
3. J. C. Abbott, Implication algebras,Bull. Math. Soc. Sci. Math. Roumanie 11 (1967) 3–23.
4. R. Balbes, A representation theory for prime and implicative semilattices,Trans. Amer. Math. Soc.,136 (1969), 261–267.
5. I. Fleischer, On extending congruences from partial algebras,Fund. Math.,88 (1975), 11–16.