Robert A. Herrmann: The Nonstandard Theory of Semi-Uniform Spaces. Math. Log. Q. 24(15-16): 237-256 (1978)