[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.