Nonlinear functional analysis - Deimling, Klaus (Springer-Verlag, 1985)