1. On the notion of a random sequence;Levin;Soviet Math. Dokl.,1973
2. On the principle of conservation of information in intuitionistic mathematics;Levin;Soviet Math. Dokl.,1976
3. The definition of random sequences;Martin-Löf;Inform. Control,1966
4. Mathematical Logic;Schoenfield,1967