Steven R. Givant

• Introduction to Boolean Algebras
• The structure of relation algebras generated by relativizations