X.-C. Fu, W. Lu, P. Ashwin, and J. Duan, “Symbolic representations of iterated maps”, TMNA, vol. 18, no. 1, pp. 119–147, Sep. 2001.