@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}
}