"Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps."

Walter J. Savitch, Paul M. B. Vitányi (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics