Logic design theory - Biswas (Prentice Hall Of India, 2003)