Applied functional analysis - Aubin, Jean Pierre (Wiley, 2000)