Applied nonlinear analysis - Aubin, Jean Pierre (Wiley, 1984)