Topics in nonlinear functional analysis - Nirenberg, L. (Courant lecture notes in mathematics, 2001)