Abstract vector spaces · The essence of linear algebra · Amos