Теория рекурсивных функций и эффективная вычислимость, Роджерс, Хартли
Personne n'a encore évalué .Évaluer