Zabavskii, B.V. 2014. A Sharp Bézout Domain is an Elementary Divisor Ring. Ukrains’kyi Matematychnyi Zhurnal. 66, 2 (Feb. 2014), 284–288.