Local analysis of nonstandard C ∞ functions of pre-distributional type V. Komkov, T. G. McLaughlin (1984) Annales Polonici Mathematici
Loeb completion of internal vector-valued measures. Rade T. Zivaljevic (1985) Mathematica Scandinavica