Mora, Teo
Solving polynomial equation systems IV:  Buchberger’s theory and beyond
Cambridge : Cambridge University Press, 2016. -- (Encyclopedia of mathematics and its applications ; vol. 158)
QA218 M67 Part. IV