Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets - Gregg (IEEE, 1998)