Second-order non-nonstandard analysis
scientific article; zbMATH DE number 1972201