Punched card methods in scientific computation - eckert, W.J