Technical dictionary of production engineering - Walther, Rudolf (1972)