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