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