Finite-dimensional vector spaces - Halmos Paul R. (1958)