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