«Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке», Comput. Tools Educ., вып. 1, фев. 2012, просмотрено: окт. 26, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1293