If you can read French, the book Analyse Non Standard by Diener and Reeb is very beautifully written, and has some material that I don't believe has appeared anywhere else. It's out of print but one can find a copy on Amazon or a pdf online easily enough.