Subrecursive Programming Systems: Complexity and Succinctness (1994)

by John Case, James Royer