K vývoju matematiky infinitezimálna a nekonečna Detlef Laugwitz (1977) Pokroky matematiky, fyziky a astronomie
La mathématique non standard vieille de soixante ans ? Georges Reeb (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Local analysis of nonstandard C ∞ functions of pre-distributional type V. Komkov, T. G. McLaughlin (1984) Annales Polonici Mathematici
Logique mathématique et analyse non-standard François Dress (1968/1969) Séminaire de théorie des nombres de Bordeaux
Metamathematics of the alternative set theory. II. Antonín Sochor (1982) Commentationes Mathematicae Universitatis Carolinae
Metamathematics of the alternative set theory. III. Antonín Sochor (1983) Commentationes Mathematicae Universitatis Carolinae
Model theory for L 𝒜 M logic. Rašković, Miodrag (1985) Publications de l'Institut Mathématique. Nouvelle Série
Neštandardné číselné systémy a odovodnenie Leibnizovho infinitezimálneho počtu W. A. J. Luxemburg (1977) Pokroky matematiky, fyziky a astronomie
New unique models of representations of unitary groups Mark E. Novodvorsky (1976) Compositio Mathematica
On models in the alternative set theory Michal Resl (1979) Commentationes Mathematicae Universitatis Carolinae
On models of arithmetic having non-modular substructure lattices A. Wilkie (1977) Fundamenta Mathematicae
Provability in the alternative set theory Michal Resl, Antonín Sochor (1981) Commentationes Mathematicae Universitatis Carolinae
Real classes in the ultrapower of hereditarily finite sets Antonín Sochor (1975) Commentationes Mathematicae Universitatis Carolinae