@InCollection{HS79,
  author =   {G. Havas and L. S. Sterling},
  title =   {Integer matrices and abelian groups},
  booktitle =   {Symbolic and algebraic computation},
  publisher =  {Springer-Verlag, Berlin},
  year =  1979,
  volume =  72,
  series =  {Lecture Notes in Computer Science},
  pages =  {431--451}
}

@Article{L98, 
  author =       "F. Lübeck",
  title =        "On the Computation of 
                  Elementary Divisors of Integer Matrices",
  journal =      "Journal of Symbolic Computation",
  year =         "2002",
  volume =       "33",
  pages =        "57--65"
}

@Article{HMM98,
  author =   {G. Havas and  B. S. Majewski and K. R. Matthews},
  title =   {Extended gcd and {H}ermite normal form algorithms via lattice basis reduction},
  journal =   {Experimental Mathematics},
  year =   1998,
  volume =  7,
  pages =  {125--135}
}

@Article{D82,
  author =   {J. D. Dixon},
  title =   {Exact Solution of Linear Equations Using p-adic Expansions},
  journal =   {Numer. Math.},
  year =   1982,
  volume =  40,
  pages =  {137--141}
}