A graph approach to computing nondeterminacy in substitutional dynamical systems. - Toke M. Carlsen; Søren Eilers (RAIRO Theor. Informatics Appl., 2007)