Email Record: Theory and design of digital computer systems