ПЕРЧЕНОК, О. В.; ПОЗДНЯКОВ, С. Н.; ПОСОВ, И. Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. Computer Tools in Education, n. 1, 23 Jan. 2014.