Перченок, О. В.; Поздняков, С. Н.; Посов, И. Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. CTE 2014.