Boolean algebra for computer logic - Ennes, Harold E. (Howard W.Sams, 1978)