ZABAVSKII, B. V. A Sharp Bézout Domain is an Elementary Divisor Ring. Ukrains’kyi Matematychnyi Zhurnal, v. 66, n. 2, p. 284–288, 25 Feb. 2014.