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