Ivan Hal Sudborough On Tape-Bounded Complexity Classes and Multihead Finite Automata. 62-76 1975 10 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss10.html#Sudborough75