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