Givant S., Halmos P. Introduction to Boolean Algebras 2009