Мартыненко, Б. Учебный исследовательский проект реализации алгоритмических языков: приведения. CTE 2014.