Convergent dynamic programming - Hordijk, Arie (1975)