Topological and Ergodic Theory of Symbolic Dynamics by Henk Bruin