1. A theory of program size formally identical to information theory;G.J.;J. Assoc. Comput. Mach.,1975
2. On computable numbers with an application to the entscheidungsproblem;Turing;Proc. Lond. Math. Soc. (2),1936
3. An Introduction To Kolmogorov Complexity and Its Applications;Li,1993
4. Ueber formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme I;Goedel;Monatshefte Fuer Math. Phys.,1931
5. A generalization of Chaitin’s Halting probability Ω and Halting self-similar sets;Tadaki,2002