Foundations of non-stationary dynamic programming with discrete time parameter - Hinderer, K. (Lecture notes in operations research and mathematical systems;33, 1970)