Subrecursive Programming Systems by John Case & James S. Royer