Logic design theory - Biswas, Nripendra N (Prentice-Hall, New Delhi, 1994)