@misc{indiciaed359023075d9, title = {A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points}, author = {Laurent Bienvenu and Adam Day and Mathieu Hoyrup and Ilya Mezhirov and Alexander Shen}, year = {2011}, url = {https://arxiv.org/abs/1007.5249}, note = {Source identifier: 1007.5249} }