A. Artigue, “Isolated sets, catenary Lyapunov functions and expansive systems”, TMNA, vol. 49, no. 1, pp. 21–50, Oct. 2016.