Markov decision processes discrete stochastic dynamic programming - Puterman, Martin L. 1945- (Wiley Interscience, 2005)