Fu, X.-C., Lu, W., Ashwin, P. and Duan, J. 2001. Symbolic representations of iterated maps. Topological Methods in Nonlinear Analysis. 18, 1 (Sep. 2001), 119–147.