Non-Standard Analysis and Its Applications by Nigel Cutland