Properties and selection : stainless steels, tool materials and special-purpose metals (Metals handbook. 9th ed., 1980)