The real number systerm - CARICO, Charles C (California. Wadswarth Pub Co., 1975)