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