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