Computer-aided logic design - McDermott, Robert M. (Howard W. Sams and Co, 1985)