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