A course on topological vector spaces - Voigt, Jürgen 1926- (Birkhaüser, 2020)