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