Foundations of Non-stationary Dynamic Programming with Discrete Time Parameter - Hinderer, K. (Springer Berlin Heidelberg, 1970)