Functional analysis (New York, Academic Press, 1966)