@book {BeWe93,
   AUTHOR = {Becker, Thomas and Weispfenning, Volker},
    TITLE = {Gr\"obner bases},
     NOTE = {A computational approach to commutative algebra,
             In cooperation with Heinz Kredel},
   SERIES = {Graduate Texts in Mathematics},
   VOLUME = 141,
PUBLISHER = {Springer-Verlag},
  ADDRESS = {New York},
     YEAR = 1993,
    PAGES = {xxii+574},
     ISBN = {0-387-97971-9},
}