Logic design and witching theory - Muroga, Saburo (rz1, 1979)