Theory and design of digital machines - Reed, Irving S. (1962)