Finite-dimensional vector space - Halmos, Paul R. (New York, 1965)