Title: Theory and Design of Digital Machines