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