Mckenzie, Ralph. “Equational Bases for Lattice Theories”. MATHEMATICA SCANDINAVICA 27 (June 1, 1970): 24–38. Accessed July 23, 2024. https://www.mscand.dk/article/view/10984.