Theory and design of digital machines - Bartee, Thomas C. (McGraw-Hill, 1962)