A linguistic characterization of bounded oracle computation and probabilistic polynomial time (1998)

by John C Mitchell, Mark Mitchell, Andre Scedrov
Venue:In FOCS 1998