A foundational delineation of computational feasibility (1991)

by D Leivant