Lindström, T. L. “Hyperdefinite Stochastic Integration I: The Nonstandard Theory”. MATHEMATICA SCANDINAVICA, vol. 46, June 1980, pp. 265-92, doi:10.7146/math.scand.a-11868.