Modern computer algebra - Gathen, Joachim von zur; Gerhard, Jürgen (Cambridge University Press, 2003)