Nonlinear functional analysis and its applications - Zeidler, Eberhard (Springer-Verlag, 1985)