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