Introduction To Boolean Algebras by Paul R. Halmos & Steven R. Givant