Theory of one-tape linear-time Turing machines. - Kohtaro Tadaki; Tomoyuki Yamakami; Jack C. H. Lin (Theor. Comput. Sci., 2010)