Information-theoretic characterizations of recursive infinite stringsGregory J. Chaitin1976Theoretical Computer Science