@InProceedings{MicWar01,
  author = 	 {Daniele Micciancio and Bogdan Warinschi},
  title = 	 {A linear space algorithm for computing the 
                  {Hermite Normal Form}},
  booktitle = 	 {International Symposium on Symbolic
                  and Algebraic Computation},
  year =	 2001,
  editor =	 {Bernard Mourrain},
  organization = {ACM},
  pages = {231--236},
  publisher =	 {ACM}
}