Subrecursive Programming Systems: Complexity and Succinctness (1994)

by J Royer, J Case