Zabavskii, B. V. A Sharp Bézout Domain Is an Elementary Divisor Ring. Ukr. Mat. Zhurn. 2014, 66 (2), 284–288.