Introduction to Boolean Algebras - Halmos, Paul; Givant, Steven (Springer New York, 2009)