Забавский, Б.В.; Казимирский, П.С.
(Український математичний журнал, 1984)
Доказано, что две матрицы над коммутативной адекватной областью приводятся к треугольному виду с элементарными делителями по главной диагонали применением идентичных односторонних преобразований.