Logical design of digital computers - Phister, Montgomery (John Wiley & Sons, 1958)