An introduction to symbolic dynamics and coding - Lind, Douglas A. (UK Cambridge, 2021)