Шалыто, Анатолий Абрамович, Федор Николаевич Царев, и Кирилл Викторович Егоров. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. Труды СПИИРАН 4, no. 15 (декабрь 1, 2010): 123-135. просмотрено март 28, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1523.