Heinz Lüneburg On the Computation of the Smith Normal Form. 156-157 1987 conf/ibm/1987 Trends in Computer Algebra db/conf/ibm/algebra1987.html#Luneburg87 http://dx.doi.org/10.1007/3-540-18928-9_10