Effective aspects of Bernoulli randomness

Christopher P. Porter. Effective aspects of Bernoulli randomness. Journal of Logic and Computation, 29(6):933-946, 2019. [doi]