Modern Computer Algebra - Gathen, J.V.Z (Cambridge, 1999)