Cardinality of generating sets for modules over a commutative ring. Robert Gilmer, William Heinzer (1983) Mathematica Scandinavica
Constructions of finitely generated submodules of constructively noetherian modules Wim Ruitenburg (1987) Compositio Mathematica
Correction and Complements to "On the Symmetric and Rees Algebras of an Ideal" Giuseppe Valla (1980/1981) Manuscripta mathematica