2012. Автоматизация верификации решения задач в области цифровой обработки сигналов. Компьютерные инструменты в образовании. 3 (июн. 2012).