1. Gröbner bases—a computational approach to commutative algebra, Graduate Texts in Mathematics;Becker,1993
2. Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant;Bierstone;Invent. Math.,1997
3. G. Bodnár, Algorithmic resolution of singularities, Ph.D. Thesis, Johannes Kepler University, RISC-Linz, 2000.
4. Automated resolution of singularities for hypersurfaces;Bodnár;J. Symbolic Comput.,2000
5. B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal, Ph.D. Thesis, Universität Innsbruck, Institut für Mathematik, 1965 (in German).