Mike Paterson Tape Bounds for Time-Bounded Turing Machines. 116-124 1972 6 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss6.html#Paterson72