On the computation of the HNF of a module over the ring of integers of a number field - Jean-François Biasse; Claus Fieker; Tommy Hofmann (Elsevier B.V., 2016)