R. Mckenzie, “Equational Bases for Lattice Theories”., Math. Scand., vol. 27, pp. 24–38, Jun. 1970.