Elimination Methods In Polynomial Computer Algebra by Valery Bykov & M. Lazman