Algebra for Symbolic Computation door Antonio Machi