Subrecursive programming systems : complexity & succinctness / - Royer, James S. (Birkhaüser,, 1994)