T. L. Lindström, “Hyperdefinite stochastic integration I: The nonstandard theory”., Math. Scand., vol. 46, pp. 265–292, Jun. 1980, doi: 10.7146/math.scand.a-11868.