Dynamic programming and modern control theory - Bellman, Richard (Academic Press, 1965)