Algorithms for Computer Algebra - Geddes, K. O.; Czapor, S. R.; Labahn, G. (Springer US, 1992)