Some applications of non-standard analysis to proximity spaces D. Randolph Johnson, Don A. Mattson (1975) Colloquium Mathematicae
Some connections between measure, indiscernibility and representation of cuts Martin Kalina, Pavol Zlatoš (1990) Commentationes Mathematicae Universitatis Carolinae