Theory and Techniques for Design of Electronic Digital Computers