Lectures on non-standard analysis - Hirschfeld, Joram (Springer, 1964)