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