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