Fast Probabilistic RAM Simulation of Single Tape Turing Machine Computations J. M. Robson 67-87 Information and Control October/November 1984 63 1/2 db/journals/iandc/iandc63.html#Robson84