Issledovanija po teorii algoritmov i matematičeskoj logike. Tom 2. - Markov, A. A. (Moskva : Vyčislitel´nyj centr Akademii nauk SSSR, 1976)
Záznam revízie