The effect of cutting fluids on the machining of hardened AISI 4340 steel