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