Introductory theory of topological vector spaces - Wong, Yau-Chuen (1992)