1. Introduction to Commutative Algebra;Atiyah,1969
2. Shifted normal forms of polynomial matrices;Beckermann,1999
3. Normal forms for general polynomial matrices, Research Report 2002–1;Beckermann,2002
4. Hermite normal form computation using modulo determinant arithmetic;Domich;Mathematics of Operations Research,1987
5. Hensel and Newton methods in valuation rings;von zur Gathen;Mathematics of Computation,1984