Honest Bounds for Complexity Classes of Recursive Functions

Honest Bounds for Complexity Classes of Recursive Functions Albert R. Meyer Robert Moll 61-66 conf/focs/FOCS13 1972 FOCS db/conf/focs/focs72.html#MeyerM72