Functional Analysis (New York Frederick Ungar publishing, 1955)