Logical design of digital computers - Phister, Montgomery (Digital Design and Appliacation, 1958)