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