"Every Sequence Is Reducible to a Random One", Peter Gacs
SCHOENFIELD, J. R. (1967), "Mathematical Logic," Chapt. 7.2, Addison-Wesley, Reading, Mass.
LEVIN, L. A. (1976), On the principle of conservation of information in intuitionistic mathematics, Soviet Math. Dokl. 17, No.2, 601-605.