Rosenbrock's theorem on system matrices over elementary divisor domains | Publicación