Givant, Steven; Halmos, Paul “ Introduction to Boolean Algebra”