doi dblp Punched-Card Systems and the Early Information Explosion, 1880-1945 Paul E. Ceruzzi 2010 Volume 61 Issue 2