ZabavskiiB. V., “A Sharp Bézout Domain is an Elementary Divisor Ring”, Ukr. Mat. Zhurn., vol. 66, no. 2, pp. 284–288, Feb. 2014.