А.Х.Шень
Программирование. Теоремы и задачи.