Time-bounded random access machines (1972)

by Stephen A Cook, Robert A Reckhow
Venue:In Proceedings of the 4th Annual ACM Symposium on Theory of Computing, STOC ’72