Introduction to switching circuit theory - Givone, Donald D. (McGraw-Hill Computer Science Series / Richard W. Hamming, 1970)