https://ebookst.com/download/an-algorithm-to-construct-groebner-bases-for--9061/