Computing subrecursive functions / Marc Jean-Pierre Gonzague Schroeder