Bookbinding and the Conservation of Books
A Dictionary of Descriptive Terminology
drive punch
A hollow steel punch used for making holes in leather, paper, etc., for eyelets and snap fasteners.
