An introduction to symbolic dynamics and coding - Lind, Douglas A. (Cambridge University Press, 1995)