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