Англо-русский морской словарь
punch radius
Радиус штампа
Англо-русский словарь морских терминов
punch press
punched card