David Saunders, Zhendong Wan: Smith normal form of dense integer matrices fast algorithms into practice. ISSAC 2004: 274-281