Contributions to non standrd analysis. - Luxemburg W A J Ed.; Robinson A Ed. (London North Holland Publishing, 1972)