Works by or with F. C. Hennie in the bibliography:Two-Tape Simulation of Multitape Turing Machines (1966)