Великий мат-меховец, член-корреспондент АН СССР Святослав Сергеевич Лавров
Терехов Андрей Николаевич
Статья написана на основе стенограммы выступления автора на открытии конференции СПИСОК (Системное Программирование, Интеллектуальные Системы, Обеспечение Качества) 23–24 апреля 2012 года.