Foundations of real numbers - Burrill, Claude W. (McGraw-Hill, 1967)