[1] Floyd R. W.: New proofs of old theorems in logic and formal linguistics. Carnegie Institute of Technology, Pennsylvania, November 1966.

[2] Левенштейн В. И.: О некоторых свойствах кодовых систем. ДАН СССР 140 (1961), т. 6. Zbl 1225.94009

[3] Мальчев А. И.: Алгоритмы и рекурсивные фукнции. Наука, Москва 1965. Zbl 1225.00032

[4] Марков, Ал. А.: Об алфавитном кодировании. ДАН СССР 132 (1960), 3. Zbl 1004.90500

[5] Марков, Ал. А.: Об алфавитном кодировании. ДАН СССР 139 (1961), 3. Zbl 1160.68305

[6] Post E. L. : A variant of a recursively unsolvable problem. Bull. Amer. Math. Soc. 52 (1946), 164-268. MR 0015343 | Zbl 0063.06329