Introduction to Relation Algebras Relation Algebras, Volume 1 - Givant, Steven (Springer International Publishing : Imprint: Springer, 2017)