Topological vector spaces - Schaefer, Helmet H (1971)