The ENIAC, the verb "to program" and the emergence of digital computers | IEEE Journals & Magazine | IEEE Xplore