T. L. Lindström, “Hyperdefinite stochastic integration I: The nonstandard theory”., Math. Scand., vol. 46, pp. 265–292, Jun. 1980.