Barnett, J. H. Boolean Algebra As an Abstract Structure: Edward V. Huntington and Axiomatization. TRIUMPHSAnnals 2025, 1.