RECURSIVE ANALYSIS - Goodstein, R.L. (North-Holland, 1961)