Марков А. А. Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 с. - ( Математическая логика и основания математики )