The Algebraic Theory of Switching Circuits - 1st Edition