revise entry on Ceruzzi's History in programming/history