Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases - Yengui, Ihsen (Springer International Publishing : Imprint: Springer, 2015)