Прециозионная правка деталей машин поверхностным пластическим деформированием : учеб. пособие