Type two computational complexity (1973)

by Robert Constable
Venue:In Proc. fifth annual ACM symposium on Theory of computing