Elsevier’s dictionary of metal cutting tools / compiled and arranged on an English alphabetical basis by G. Schuurmans Stekhoven and W.B. Valk