Applied functional analysis - Aubin Jean Pierre (New York John Wiley, 1979)