Tool-steel.

Metallurgy and heat treatment of tool steels Wilson, Robert 1975 The machining of steel Lea, F.C. 1960 The machining of steel, simply explained Lea, F. C. 1945 The metallurgy of tool steels Payson, Peter 1962 The tool steel guide Szumera, James A. 2003 Tool steels Roberts, G. A. 1980