The Stability of Linear Discrete Descriptor Systems in the Sense of Lyapunov : an Overview