Length of Polynomial Ascending Chains and Primitive Recursiveness. Guillermo Moreno Socias (1992) Mathematica Scandinavica
Linear forms on modules of projective dimension one. Vetter, Udo (2001) Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica