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