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