Logical design of digital computers - Phister, Montgomery 1926- (Willey, 1958)