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