LisovikL. P. “On Axiomatizations of Boolean Algebras”. Ukrains’kyi Matematychnyi Zhurnal, Vol. 49, no. 7, July 1997, pp. 937–942, https://umj.imath.kiev.ua/index.php/umj/article/view/5084.