1. Balbes R, Dwinger PH (1974) Distributive lattices. University of Missouri Press, Columbia
2. Bernstein BA (1934) A set of four postulates for Boolean algebras in terms of the implicative operation. Trans. Am. Math. Soc. 36:876–884
3. Bialynicki-Birula A, Rasiowa H (1957) On the representation of quasi-Boolean algebras. Bull. Acad. Pol. Sci. C1(III5):259–261
4. Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York (the free, corrected version 2012 is available online as a PDF file at http://math.uwaterloo.ca/~snburris )
5. Cornejo JM, Sankappanavar HP (2015) Implication zroupoids I. Algebra Universalis (in press)