B. Zabavsky and O. Pihura, “Gelfand local Bezout domains are elementary divisor rings”, Carpathian Math. Publ., vol. 7, no. 2, pp. 188–190, Dec. 2015.