Distributive and modular laws in the arithemetic of relation algebras
by Louise H. Chin and Alfred Tarski
(University of California publications in mathematics New series, vol. 1,
University of California Press, 1951
University of California Press