Rosenbrock's theorem on system matrices over elementary divisor domains - Martinez Dopico, Froilan Cesar; Noferini, Vanni; Zaballa, Ion (LINEAR ALGEBRA AND ITS APPLICATIONS, 2025)