Oscar H. Ibarra On Two-way Multihead Automata. 28-36 1973 7 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss7.html#Ibarra73