Modern computer algebra - Gathen, Joachim von zur (Cambridge University Press, 2003)