М. С. Мирзоев. Математическая машина Тьюринга и вычислительная сложность. М.:Прометей, 2020