First course in functional analysis. - Davis Martin (1966)