Introduction to Relation Algebras - Steven Givant (Springer, 2017)