On p-adic Computation of the Rational Form of a Matrix. - Marie-Hélène Mathieu; David Ford 001 (J. Symb. Comput., 1990)