Markov decision processes: discrete stochastic dynamic programming - Puterman, Martin L (Wiley Series in Probability and Statistics, 2005)