An Introduction to Symbolic Dynamics and Coding - Lind/Marcus (Cambridge University Press, 2020)