Approximate commutative algebra - Abbott, John; Robbiano, Lorenzo (Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, 2009)