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