Tape bounds for time-bounded Turing machines (1972)

by M S Paterson
Venue:J. Comp. Syc. Sci