Contributions to non-standard analysis - Luxemburg, W. A. J. 1929-; Robinson, Abraham 1918-1974 (North-Holland, 1972)