Boolean algebras with operators, part 1 (1951)

by B Jónsson, A Tarski
Venue:American Journal of Mathematics