2014. Автоматизация проверки решения задачи по формальному описанию ее условия. Computer Tools in Education. 4 (Jan. 2014).