Boolean constructions in universal algebras - Pinus, Aleksandr G. (Kluwer Academic Publications, 1993)