Nonlinear Functional Analysis - Deimling, Klaus (new york Springer-Verlag, 1980)