Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 (1966), pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 (1969), pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78.