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