Computational Linear and Commutative Algebra - Kreuzer, Martin.;Robbiano, Lorenzo. (Springer International Publishing, 2016)