Peter M. Hines Symmetries and transitions of bounded Turing machines http://arxiv.org/abs/cs.LO/9812019 1998 CoRR cs.LO/9812019 db/journals/corr/corr9812.html#cs-LO-9812019