Machine tools : design, research, application /: design, research, application. (2020)