[4] Hans Föllmer and Alexander Schied. Stochastic Finance: An Introduction in Discrete Time, volume 27 of Studies in Mathematics. de Gruyter, Berlin, 2nd edition, 2004.<a href="https://doi.org/10.1515/9783110212075" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1515/9783110212075</a>
[5] Peter Jaeger. Modelling real world using stochastic processes and filtration. Formalized Mathematics, 24(1):1–16, 2016. doi: <a href="https://doi.org/10.1515/forma-2016-0001.10.1515/forma-2016-0001" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1515/forma-2016-0001.10.1515/forma-2016-0001</a>