The development of the real number system Frank B. Allen and others. (School Mathematics Study Group. Mathematics for high school. Intermediate mathematics, pt. 1. Supplementary unit 1, 1960)