Discrete integrable systems (Springer, 2004)