Zabavskii, B. V. (2014). A Sharp Bézout Domain is an Elementary Divisor Ring. Ukrains’kyi Matematychnyi Zhurnal, 66(2), 284–288. https://umj.imath.kiev.ua/index.php/umj/article/view/2131