1. A note on the Q-topology. Preprint.
2. and , Standard and nonstandard methods in uniform topology. In: and , Logic Colloquium 69 (Summer School and Colloquium in Mathematical Logic, Manchester 1969), North-Holland, Amsterdam 1971, pp. 353–359.
3. The nonstandard hulls of a uniform space
4. The monad system of the finest compatible uniform structure
5. Lecture Notes;Henson,1974