Applied functional analysis - Aubin, Jean-Pierre (1979)