Logical design for computers and COntrol - DODD, K. W. (London, 1972)