Deakstadieđáhus: Gröbner bases : a computational approach to commutative algebra / Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel.