Программирование: теоремы и задачи. Шень А., М.: МЦНМО, 1995, 264 с
HTML, публикатор - Печатнов В.В.
Том 3 (rar, 577K)