Markov decision processes : discrete stochastic dynamic programming - Puterman, Martin L. (Wiley series in probability and statistics, 2005)