Presentations of subshifts and their topological conjugacy invariants. Matsumoto, Kengo (1999) Documenta Mathematica