Fundamentals of computer logic - Hutchison, David, M. Tech (Ellis Horwood series in computers and their applications, 1981)