Equational Bases for Lattice Theories. - Mckenzie, Ralph (Mathematica Scandinavica, 1970)