LOGIC DESINGN THEORY - BISWAS NRIPENDRA (NEW DELHI, 1994)