Methods of nonlinear analysis, Vol.1 - Bellman, Richard (1970)