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