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