Title: Punched cards
First published: 1962