Mckenzie, R. 1970. Equational Bases for Lattice Theories. MATHEMATICA SCANDINAVICA. 27, (Jun. 1970), 24–38. DOI:https://doi.org/10.7146/math.scand.a-10984.