Манцеров, Д. 2014. Среда Verifier-KD: верификация решений задач по математике. Computer Tools in Education. 4 (Jan. 2014).