Dynamic Programming and Markov Processes by Ronald A Howard