Gregory J. Chaitin Information-Theoretic Characterizations of Recursive Infinite Strings. 45-48 1976 2 Theor. Comput. Sci. 1 db/journals/tcs/tcs2.html#Chaitin76