The international welding thesaurus (Welding Inst., 1980)