Constructions of finitely generated submodules of constructively noetherian modules Wim Ruitenburg — 1987 Compositio Mathematica