Lindström, T. L. (1980). Hyperdefinite stochastic integration III: Hyperdefinite representations of standard martingales. MATHEMATICA SCANDINAVICA, 46, 315–331. https://doi.org/10.7146/math.scand.a-11870