The real numbers - Sprekelmeyer, R. (D.C. Health, 1964)