Mathematical Analysis - Goodstein, R, L, (Goodstein, R, L) (Clarendon Press, 1948)