A stochastic dynamic programming approach for the machine replacement problem. (February 2023)