Шалыто, Анатолий Абрамович, Федор Николаевич Царев, и Кирилл Викторович Егоров. 2010. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. Труды СПИИРАН 4 (15), 123-35. https://doi.org/10.15622/sp.15.7.