Topology and normed spaces - Jameson, Graham James Oscar (1974)