A commutative Bezout PM* domain is an elementary divisor ring - B. Zabavsky; A. Gatalevych (Algebra and discrete mathematics, 2015)