«Современные технологии разработки надежных и безопасных программ», Comput. Tools Educ., вып. 6, дек. 2008, просмотрено: окт. 25, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1159