On Computation of Groebner Bases for Linear Difference Systems - Vladimir P. Gerdt (2005)