Notes in the theory of dynamic programming - III: equipment replacement policy - Bellman, Richard, 1920-1984 (Paper, P-632 (Rand Corporation), 1955)