Henri Cohen Francisco Diaz y Diaz Michel Olivier Algorithmic Methods for Finitely Generated Abelian Groups. 133-147 2001 31 J. Symb. Comput. 1/2 db/journals/jsc/jsc31.html#CohenDO01