Shiftings of the horizon Antonín Sochor, Petr Vopěnka (1983) Commentationes Mathematicae Universitatis Carolinae
Some applications of non-standard analysis to proximity spaces D. Randolph Johnson, Don A. Mattson (1975) Colloquium Mathematicae