Mckenzie, Ralph. “Equational Bases for Lattice Theories”. MATHEMATICA SCANDINAVICA 27 (June 1, 1970): 24–38. Accessed August 13, 2026. https://tidsskrift.dk/math/article/view/10984.