The Construction and Analysis of Simple Relation Algebras

by Steven Givant