Text this: Foundations of non-stationary dynamic programming with discrete time parameter / K. Hinderer.