Decidability and Boolean representations Part I. Decidable varieties with modular congruence lattices : Part II. Boolean representable varieties Stanley Burris and Ralph McKenzie. Memoirs of the American Mathematical Society 246.