Effective Symbolic Dynamics. - Douglas Cenzer; S. Ali Dashti; Jonathan L. F. King (CCA, 2007)

Computable symbolic dynamics. - Douglas Cenzer; S. Ali Dashti; Jonathan L. F. King (Math. Log. Q., 2008)

Computability of Countable Subshifts. - Douglas A. Cenzer; S. Ali Dashti; Ferit Toska; Sebastian Wyman (CiE, 2010)

Computability of Countable Subshifts in One Dimension. - Douglas Cenzer; S. Ali Dashti; Ferit Toska; Sebastian Wyman (Theory Comput. Syst., 2012)