М. Богданов, “Автоматизация проверки решения задачи по формальному описанию ее условия.”, CTE, no. 4, Jan. 2014.