Modern computer algebra - Gathen, Joachim Von Zur (Cambridge University Press, 1999)