1. Eine Erweiterung der Infinitesimalrechnung
2. Ménissier-Morain, V. (1995). Arithmétique exacte: conception, algorithmique et performances d’une implémentation informatique en précision arbitraire. PhD thesis, Université Paris 7.
3. Diener, F. and Reeb, G. (1989). Analyse Non Standard. Paris (France): Hermann.
4. Quasi-linear transformations and discrete tilings
5. Harthong, J. (1989). Une théorie du continu. In: Les mathématiques non standard, 307–329.