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