Algebra for Symbolic Computation by Antonio Machi