https://9dok.net/document/q05jrweg-computationaltheoryofpolynomialideals-eidgen-ossischetechnischehochschulez-urich.html