Logic design theory - Biswas, Nripendra N (Prentice-Hall of India, 1993)