Toke Meier Carlsen: Operator algebraic applications in symbolic dynamics.
PhD thesis Univ. Copenhagen 2004, 190p.

J. Cuntz/W. Krieger: A class of C*-algebras and topological Markov chains.
Inv. Math. 56 (1980), 251-268.