A notion of synchronization of symbolic dynamics and a class of C^*-algebras - Wolfgang Krieger; Kengo Matsumoto (2011)