Lindström TL. Hyperdefinite stochastic integration I: The nonstandard theory. Math. Scand. 1980;46:265-292. doi:10.7146/math.scand.a-11868