Algorithmic Randomness : Progress and Prospects - Johanna N. Y. Franklin; Christopher P. Porter (2020)