Polynomial algorithms in computer algebra - Winkler, Franz (Springer, 1996)