The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic,
Roger Duncan Maddux