Linear topological spaces (Springer, 1963)