Applied functional analysis - Jean Pierre Aubin (John wiley & sons, 1979)