Mckenzie, Ralph. “Equational Bases for Lattice Theories”. Mathematica Scandinavica, vol. 27, June 1970, pp. 24-38, https://doi.org/10.7146/math.scand.a-10984.