"Труды Института системного программирования РАН. Том 12. Методы синтеза и анализа алгоритмов. 2007 г." - читать интересную книгу автора (Под редакцией чл.-корр. РАН В.П. Иванникова)