The use of punched cards in US libraries and documentation centers, 1936-1965 | IEEE Journals & Magazine | IEEE Xplore