Algebra for Symbolic Computation - Machì, Antonio (Springer Milan : Imprint: Springer, 2012)