I wish to learn nonstandard analysis. Are there any good book recommendations? I'm familiar with the ZFC system, and learnt analysis the classical way. I've found some undergraduate texts, but they are too verbose. 

If there are applications to complex or functional analysis, that would be great.

Thanks in advance.