Relation Algebras - Maddux, Roger Duncan (Studies in Logic and the Foundations of Mathematics Ser.)