@book{7751964,
	author = {Ман, Ф.-К. and Белага, Э. Г.},
	title = {Машины Тьюринга и рекурсивные функции},
	publisher = {Мир},
	year = {1972},
	series = {Современная математика},
	address = {Москва}
}