Lindström, Tom L. “Hyperdefinite Stochastic Integration I: The Nonstandard Theory”. Mathematica Scandinavica, vol. 46, June 1980, pp. 265-92, https://doi.org/10.7146/math.scand.a-11868.