https://1library.org/document/qod8g15z-axiomatics-for-the-externa-lnumbers-of-nonstandardanalysis.html