Valuations and lengths of constructible modules. P. Ribenboim (1976) Journal für die reine und angewandte Mathematik