John Gill James Hunt Janos Simon Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers. 333-338 1980 12 Theor. Comput. Sci. db/journals/tcs/tcs12.html#GillHS80