Zanardo, P. “The Krull-Schmidt Theorem for Categories of Finitely Generated Modules over Valuation Domains”. MATHEMATICA SCANDINAVICA, vol. 66, June 1990, pp. 5-11, doi:10.7146/math.scand.a-12286.