Logical design for computers and control - Dodd, Kenneth Neilson (Butterworths, 1972)