2014. Автоматизация проверки решения задачи по формальному описанию ее условия. Компьютерные инструменты в образовании. 4 (янв. 2014).