An Introduction to Symbolic Dynamics and Coding - Douglas Lind (Cambridge University Press, 2009)