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