LisovikL. P. On axiomatizations of Boolean algebras. Ukrains’kyi Matematychnyi Zhurnal, v. 49, n. 7, p. 937–942, 25 Jul. 1997.