Computer algebra : systems and algorithms for algebraic computation / - Davenport, James Harold, (Academic Press,, 1988)