"The Electronic Numerical Integrator and Computer (ENIAC)", The Origins of Digital Computers: Selected Papers.