Boolean Algebra (Logic) by Frederic P. Miller, Agnes F. Vandome & John McBrewster