[1] M. Davis: Computability and Unsolvability. McGraw-Hill. New York 1958. (V této monografii je vybraná bibliografie, zejména prací západních odborníků.) MR 0124208 | Zbl 0080.00902

[2] A. A. Mapков: 06 oдной нерозрешимой проблеме, касающейця матриц. Докл. Акад. Наук 1951, T. 78, No 6, 1089-1092. MR 0042356

[3] A. A. Mapков: Teopия алгорифмов. Trudy mat. inst. im. V. A. Steklova, XLII, Moskva 1954. (V této monografii je representativní výběr bibliografických údajů do r. 1953.)

[4] A. M. Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. Lond. Math. Soc. ser. 2, vol. 42, pp. 230-265 (1963-1937); Correction, ibid. vol. 45, pp. 544-546 (1937).

[5] П.С. Hoвиков: O6 алгорифмической неразрешимости проблемы слов в теории групп. Trudy mat. inst. im. V. A. Steklova, XLIV, Moskva 1955.