Super-real fields : totally ordered fields with additional structure / - Dales, H. G. (Clarendon,, 1996)