Boolean algebras with operators (1952)

by B Jónsson, A Tarski
Venue:II, Amer. J. Math