Mckenzie, R. “Equational Bases for Lattice Theories.”. MATHEMATICA SCANDINAVICA, Vol. 27, June 1970, pp. 24-38, doi:10.7146/math.scand.a-10984.