1. Шалыто А.А., Царев Ф.Н., Егоров К.В. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением // Труды СПИИРАН. 2010. № 15 (4). C. 123-135.