The Moore School Lectures: Theory and Techniques for Design of Electronic Digital Computers (Charles Babbage Institute Reprint)