Algorithms for computer algebra - Geddes, K. O. 1947- (Kluwer Academic, 1992)