Methods of nonlinear analysis - Bellman, Richard 1920-1984 (Academic Press, 1973)