Recursive analysis - Goodstein, R. L. (Reuben Louis) (North-Holland, 1961)