Finite-dimensional vector spaces - Halmos, Paul R (1965)