Title: Card punching
First published: 1964