Text this: Gröbner bases : a computational approach to commutative algebra