Tape bounds for time-bounded Turing machines (1972)

by M S Paterson
Venue:J. Computer and System Sciences