1. Ole Lund Jensen, Symbolic dynamic systems and their invariants, Master's Thesis, University of Copenhagen, 2002.