Algebraic Logic And Universal Algebra In Computer Science By Clifford H Bergman