John William Mauchly, 1907-1980 | IEEE Journals & Magazine | IEEE Xplore