Foundations of non-stationary dynamic programing with discrete time parameter - Hinderer, K. (Springer, 1970)