Modern Computer Algebra - Joachim von zur Gathen, Jürgen Gerhard (Cambridge University Press, 2013)