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