Algebra for symbolic computation - Machi, Antonio (Springer, 2012)