Applied functional analysis - Aubin, Jean-Pierre (John Wiley & Sons, 1979)