Non linear functional analysis and its applications - Zeidler, Eberhard (Springer, 1990)