Issledovanija po teorii algoritmov i matematičeskoj logike. Tom 2. - Markov, A. A. (Vyčislitel´nyj centr Akademii nauk SSSR, 1976)