Relation algebras - Maddux, Roger D (elsevier, 2006)