Time Bounded Random Access Machines (1973)

by S A Cook, R A Reckhow
Venue:J. Computer and System Sciences