ELECTRONIC DIGITAL MACHINES AND PROGRAMMING