Elektronische Rechenmaschinen und Informationsverarbeitung = Electronic digital computers and information processing (Vieweg, 1956)