Tools handbook on international standards for tools (ISO standards handbook, 1980)