Hans-Jörg Stoß: Zwei-Band Simulation von Turingmaschinen. Computing 7(3-4): 222-235 (1971)