Real numbers for high school. (Textbook Board, Ministry of Education and Culture, 1980)