Contributions to non-standard analysis (North-Holland Publ. Co., 1972)