Algorithms for computer algebra - Geddes, Keith O.; Czapor, Stephen R.; Labahn, George (Kluwer Acad. Publ., 1992)