Logic design and switching theory - Muroga, Saburo. (Wiley, 1979)