Zabavskii, B. V. “A Sharp Bézout Domain Is an Elementary Divisor Ring”. Ukrains’kyi Matematychnyi Zhurnal, Vol. 66, no. 2, Feb. 2014, pp. 284–288, https://umj.imath.kiev.ua/index.php/umj/article/view/2131.