Computer logic design - Mano, M. Morris (Prentice-Hall series in automatic computation, 1972)