Walter J. Savitch Paul M. B. Vitányi On the Power of Real-Time Two-Way Multihead Finite Automata With Jumps. 31-35 1984 19 Inf. Process. Lett. 1 db/journals/ipl/ipl19.html#SavitchV84