Tool Making: A Practical Treatise On the Art of Making Tools, Jigs, and Fixtures, with Helpful Suggestions On Heat Treatment of Carbon and High-Speed Steels for Tools, Punches, and Dies