Topological and ergodic theory of symbolic dynamics / - Bruin, Henk,