Difference Algebra - Levin, Alexander (Springer Netherlands, 2008)