Tor Lattimore and Csaba Szepesvári, Bandit algorithms, Cambridge University Press, 2020.
Etienne Marion, A formalization of the ionescu-tulcea theorem in mathlib, arXiv preprint arXiv:2506.18616 (2025).