Shaping a technology: American punched card systems 1880-1914 | IEEE Journals & Magazine | IEEE Xplore