The basic theory of real closed spaces / - Schwartz, Niels, (American Mathematical Society,, 1989)