БОГДАНОВ, М. Автоматизация проверки решения задачи по формальному описанию ее условия. Computer Tools in Education, n. 4, 17 Jan. 2014.