LisovikL. P. On Axiomatizations of Boolean Algebras. Ukr. Mat. Zhurn. 1997, 49, 937–942.