Foundations of Non-Stationary Dynamic Programming with Discrete Time Parameter by K. Hinderer