Logic design theory - Biswas (Prentice Hall, 1993)