Becker, Thomas Grobner bases: A computational approach to cummulitative algebra - New York Springer-Verlag 1993 - xxv, 574 p. ISBN: DM88 Dewey Class. No.: 512.24 B388G