Issledovanija po teorii algorifmov i matematičeskoj logike. Tom 2 - Markov, A. A. (Vyčisliteľnyj centr AN SSSR, 1976)