Манцеров, Д. Среда Verifier-KD: верификация решений задач по математике. CTE 2014.