Finite Dimensional Vector Spaces by Paul R. Halmos