Applied abstract analysis - Aubin, Jean Pierre (Wiley, 1977)