МАНЦЕРОВ, Д. Среда Verifier-KD: верификация решений задач по математике. Computer Tools in Education, n. 4, 17 Jan. 2014.