Machining and machine-tools : research and development - Davim, J. Paulo