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