Advanced Topics in Relation Algebras - Givant (Springer International Publishing, 2017)