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