Computer logic : principles and techniques - Hutchison, David, M. Tech (Computers and their applications., 1987)