Hervé Perdry: Strongly Noetherian rings and constructive ideal theory. J. Symb. Comput. 37(4): 511-535 (2004)