Polynomial algorithms in computer algebra - Winkler, Franz (Texts and monographs in symbolic computation, 1996)