Machover, M; Hirschfeld, J. <br/><br/>
Lectures on Non-standard Analysis 
M. Machover, J. Hirschfeld 
 - Berlin  Springer  1969