[BW] Allen R. BERNSTEIN, Frank WATTENBERG: 
Nonstandard measure theory. Applications of Model Theory to Algebra, Analysis, and Probability, New York 1969. 
MR 0247018[H] Karel HRBÁČEK: 
Axiomatic foundations for nonstandard analysis. The City College of Cuny, New York (preprint). 
MR 0528351[B] Abraham ROBINSON: 
Nonstandard analysis. North-Holland Publishing Company, Amsterdam 1966. 
MR 0205854[VH] Petr VOPĚNKA, Petr HÁJEK: The theory of semiset. Academia, Praha 1972.