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