Title: The dimensions of punched paper tape for data processing