His 1945 report ‘Proposed Electronic Calculator’ was the first specification for such a device.