Subrecursive Programming Systems door John Case & James S. Royer