Grüne, Lars ; Kellett, Christopher M.: Strong implication-form ISS-Lyapunov functions for discontinuous discrete-time systems. Department of Mathematics, University of Bayreuth Bayreuth , 2014