Symbolic dynamics : one-sided, two-sided and countable state Markov shifts - Kitchens, Bruce, 1953- (Springer, 1998)