1. F. Lübeck, K. Magaard, and E. A. O'Brien, Constructive recognition of SL3(q), J. Algebra 316 (2007), no. 2, 619–633.[MR]
  2. Frank Lübeck, On the computation of elementary divisors of integer matrices, J. Symbolic Comput. 33 (2002), no. 1, 57–65.[MR]