Сотрудники лаборатории теоретического программирования. Сидят слева направо: М.А. Елохина, С.П. Мыльников, Ю.П. Кожева, Е.В. Окунишникова. Стоят: А.А. Сулимов, Г.А. Алексеев, А.В. Быстров, Т.Г. Чурина, В.А. Непомнящий.