1. On the maximal number of a-independent elements in ideals of Noetherian ring;Björk,1982
2. The magma algebra system I: The user language;Bosma;J. Symbolic Comput.,1997
3. Cohen–Macaulay Rings;Bruns,1993
4. Hidden constructions in abstract algebra (3) Krull dimension of distributive lattices and commutative rings;Coquand,2003
5. A short proof for the Krull dimension of a polynomial ring;Coquand;Amer. Math. Monthly,2005