Robertson, Alexander Provan: Topological vector spaces. Cambridge : Univ. Pr., 1980