Finite-dimensional vector spaces - Halmos, Paul R. (Paul Richard), 1916-2006 (Van Nostrand Reinhold, 1958)