an optimal policy for machine tool replacement - taha, hamdy a. (External Notes ؛, 1964)