Zabavsky, B., & Pihura, O. (2015). Gelfand local Bezout domains are elementary divisor rings. Carpathian Mathematical Publications, 7(2), 188–190. https://doi.org/10.15330/cmp.7.2.188-190