2014. Среда Verifier-KD: верификация решений задач по математике. Компьютерные инструменты в образовании. 4 (янв. 2014).