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