Л. П. Лисовик, «Об аксиоматизациях булевых алгебр», Ukr. Mat. Zhurn., вип. 49, вип. 7, с. 937–942, Лип 1997.