Посов, И. Автоматическая генерация задач. CTE 2014.