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