Fu, X.-C. et al. 2001. Symbolic representations of iterated maps. Topological Methods in Nonlinear Analysis. 18, 1 (Sep. 2001), 119–147.