Topological vector spaces. - Cristescu Romulus (1977)